K. Asperti: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Generic minimal surfaces

Antonio Carlos Asperti

Journal:

Mathematische Zeitschrift

Year:

1989

Language:

english

File:

PDF, 306 KB

english, 1989

2

A categorical understanding of environment machines

Asperti, Andrea

Journal:

Journal of Functional Programming

Year:

1992

Language:

english

File:

PDF, 1.67 MB

english, 1992

3

Paródia: a literatura como força subversiva em Olavo Bilac

Nogueira, Clara Miguel Asperti

Journal:

Year:

2016

File:

PDF, 300 KB

2016

4

Ruled Weingarten hypersurfaces in the Lorentz–Minkowski space and in de Sitter space

A.C. Asperti, R.M.B. Chaves, B.C. Valério

Journal:

Journal of Geometry and Physics

Year:

2010

Language:

english

File:

PDF, 550 KB

english, 2010

5

Mathematical Knowledge Management in HELM

Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2003

Language:

english

File:

PDF, 190 KB

english, 2003

6

Categorical models of polymorphism

Andrea Asperti, Simone Martini

Journal:

Information and Computation

Year:

1992

Language:

english

File:

PDF, 3.40 MB

english, 1992

7

The bologna optimal higher-order machine

Asperti, Andrea, Giovannetti, Cecilia, Naletto, Andrea

Journal:

Journal of Functional Programming

Year:

1996

Language:

english

File:

PDF, 1.83 MB

english, 1996

8

[Vitamins and Hormones] || The role of heparin, heparanase and heparan sulfates in hepcidin regulation

Asperti, Michela

Year:

2019

Language:

english

File:

PDF, 2.64 MB

english, 2019

9

Accessing Justice Through Settlement? Repeat Players in Court-Connected Mediation and Conciliation Programs in Brazil

de Araujo Asperti, Maria Cecclia

Journal:

SSRN Electronic Journal

Year:

2015

Language:

english

File:

PDF, 188 KB

english, 2015

10

Pentosan Polysulfate to control hepcidin expression in vitro and in vivo

Asperti, Michela, Denardo, Andrea, Gryzik, Magdalena, Castagna, Annalisa, Girelli, Domenico, Naggi, Annamaria, Arosio, Paolo, Poli, Maura

Journal:

Biochemical Pharmacology

Year:

2020

Language:

english

File:

PDF, 1.81 MB

english, 2020

11

LINEAR LOGIC, COMONADS AND OPTIMAL REDUCTIONS

Asperti, Andrea

Journal:

Fundamenta Informaticae

Year:

1995

File:

PDF, 891 KB

1995

12

Paths, computations and labels in the λ-calculus

Andrea Asperti, Cosimo Laneve

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1.16 MB

english, 1995

13

Interaction systems II: The practice of optimal reductions

Andrea Asperti, Cosimo Laneve

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 3.72 MB

english, 1996

14

Björling problem for spacelike, zero mean curvature surfaces in

Antonio C. Asperti, José Antonio M. Vilhena

Journal:

Journal of Geometry and Physics

Year:

2006

Language:

english

File:

PDF, 229 KB

english, 2006

15

An Interactive Driver for Goal-directed Proof Strategies

Andrea Asperti, Enrico Tassi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 501 KB

english, 2009

16

Sur l'intégration stochastique par rapport

Journal:

Probability Theory and Related Fields

Year:

1989

File:

PDF, 963 KB

1989

17

Spacelike Surfaces in({{mathbb L}^4})with Degenerate Gauss Map

Antonio C. Asperti, José Antonio M. Vilhena

Journal:

Results in Mathematics

Year:

2011

Language:

english

File:

PDF, 375 KB

english, 2011

18

Safe Operators: Brackets Closed Forever Optimizing Optimal λ-Calculus Implementations

Andrea Asperti, Juliusz Chroboczek

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

1997

Language:

english

File:

PDF, 589 KB

english, 1997

19

The Gauss–Kronecker curvature of minimal hypersurfaces in four-dimensional space forms

A. C. Asperti, R. M. B. Chaves, L. A. M. Sousa

Journal:

Mathematische Zeitschrift

Year:

2011

Language:

english

File:

PDF, 191 KB

english, 2011

20

User Interaction with the Matita Proof Assistant

Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli

Journal:

Journal of Automated Reasoning

Year:

2007

Language:

english

File:

PDF, 1.02 MB

english, 2007

21

A compact kernel for the calculus of inductive constructions

A. Asperti, W. Ricciotti, C. Sacerdoti Coen, E. Tassi

Journal:

Year:

2009

Language:

english

File:

PDF, 3.53 MB

english, 2009

22

Liprin-α1 regulates breast cancer cell invasion by affecting cell motility, invadopodia and extracellular matrix degradation

Astro, V, Asperti, C, Cangi, G, Doglioni, C, de Curtis, I

Journal:

Year:

2010

Language:

english

File:

PDF, 1.16 MB

english, 2010

23

Liprin-α1 regulates breast cancer cell invasion by affecting cell motility, invadopodia and extracellular matrix degradation

Astro, V, Asperti, C, Cangi, M G, Doglioni, C, de Curtis, I

Journal:

Year:

2011

Language:

english

File:

PDF, 68 KB

english, 2011

24

On Two Parameter Envelopes of n-Spheres in a Real Spaces Form

A. C. Asperti, M. B. Chaves

Journal:

Geometriae Dedicata

Year:

1999

Language:

english

File:

PDF, 120 KB

english, 1999

25

Molecular Dynamics Reveal that isoDGR-Containing Cyclopeptides Are True αvβ3 Antagonists Unable To Promote Integrin Allostery and Activation

Dr. Michela Ghitti, Dr. Andrea Spitaleri, Dr. Barbara Valentinis, Dr. Silvia Mari, Dr. Claudia Asperti, Dr. Catia Traversari, Dr. Gian Paolo Rizzardi, Dr. Giovanna Musco

Journal:

Angewandte Chemie

Year:

2012

Language:

english

File:

PDF, 3.80 MB

english, 2012

26

Molecular Dynamics Reveal that isoDGR-Containing Cyclopeptides Are True αvβ3 Antagonists Unable To Promote Integrin Allostery and Activation

Dr. Michela Ghitti, Dr. Andrea Spitaleri, Dr. Barbara Valentinis, Dr. Silvia Mari, Dr. Claudia Asperti, Dr. Catia Traversari, Dr. Gian Paolo Rizzardi, Dr. Giovanna Musco

Journal:

Angewandte Chemie International Edition

Year:

2012

Language:

english

File:

PDF, 3.81 MB

english, 2012

27

Parallel Beta Reduction Is Not Elementary Recursive

Andrea Asperti, Harry G. Mairson

Journal:

Information and Computation

Year:

2001

Language:

english

File:

PDF, 309 KB

english, 2001

28

Immersions of surfaces into 4-dimensional spaces with nonzero normal curvature

Antonio Carlos Asperti

Journal:

Annali di Matematica Pura ed Applicata (1923 -)

Year:

1980

Language:

english

File:

PDF, 863 KB

english, 1980

29

Some generic properties of Riemannian immersions

Antonio Carlos Asperti

Journal:

Bulletin of the Brazilian Mathematical Society, New Series

Year:

1980

Language:

english

File:

PDF, 1.04 MB

english, 1980

30

Stability and computability in coherent domains

Journal:

Information and Computation

Year:

1990

Language:

english

File:

PDF, 1.28 MB

english, 1990

31

(Optimal) duplication is not elementary recursive

Andrea Asperti, Paolo Coppola, Simone Martini

Journal:

Information and Computation

Year:

2004

Language:

english

File:

PDF, 701 KB

english, 2004

32

Preface

Roberto M. Amadio, Giuseppe Castagna, Andrea Asperti

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 69 KB

english, 2009

33

Certified Complexity

R. Armadio, A. Asperti, N. Ayache, B. Campbell, D. Mulligan, R. Pollack, Y. Regis-Gianas, C. Sacerdoti Coen, I. Stark

Journal:

Procedia Computer Science

Year:

2011

Language:

english

File:

PDF, 114 KB

english, 2011

34

Liprin-α1 affects the distribution of low-affinity β1 integrins and stabilizes their permanence at the cell surface

Claudia Asperti, Emanuela Pettinato, Ivan de Curtis

Journal:

Experimental Cell Research

Year:

2010

Language:

english

File:

PDF, 6.77 MB

english, 2010

35

Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover

Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 627 KB

english, 2012

36

Isolation of the major proteolytic enzyme from the venom of the snake Bothrops moojeni (caissaca)

Marina T. Assakura, Antonia P. Reichl, Maria Cristina A. Asperti, Fajga R. Mandelbaum

Journal:

Year:

1985

Language:

english

File:

PDF, 949 KB

english, 1985

37

Helicobacter pylori infection rate increases after treatment of achalasia

F. Bagnolo, U. Bonassi, F. Lella, E. Colombo, K. Asperti, P.A. Testoni

Journal:

Digestive and Liver Disease

Year:

2000

Language:

english

File:

PDF, 160 KB

english, 2000

38

Zen and the art of formalisation

ASPERTI, ANDREA, AVIGAD, JEREMY

Journal:

Mathematical Structures in Computer Science

Year:

2011

Language:

english

File:

PDF, 415 KB

english, 2011

39

[Lecture Notes in Computer Science] Mathematical Knowledge Management Volume 2594 || On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions

Asperti, Andrea, Buchberger, Bruno, Davenport, James Harold

Year:

2003

Language:

english

File:

PDF, 170 KB

english, 2003

40

Glycol-split nonanticoagulant heparins are inhibitors of hepcidin expression in vitro and in vivo

Poli, M., Asperti, M., Naggi, A., Campostrini, N., Girelli, D., Corbella, M., Benzi, M., Besson-Fournier, C., Coppin, H., Maccarinelli, F., Finazzi, D., Arosio, P.

Journal:

Year:

2014

Language:

english

File:

PDF, 1.41 MB

english, 2014

41

Ruled Weingarten Hypersurfaces in Hyperbolic Space({{mathbb{H}}^{n+1}})

Asperti, Antonio C., Lymberopoulos, Alexandre, Valério, Bárbara Corominas

Journal:

Results in Mathematics

Year:

2014

Language:

english

File:

PDF, 294 KB

english, 2014

42

Mice lacking mitochondrial ferritin are more sensitive to doxorubicin-mediated cardiotoxicity

Maccarinelli, Federica, Gammella, Elena, Asperti, Michela, Regoni, Maria, Biasiotto, Giorgio, Turco, Emilia, Altruda, Fiorella, Lonardi, Silvia, Cornaghi, Laura, Donetti, Elena, Recalcati, Stefania, P

Journal:

Journal of Molecular Medicine

Year:

2014

Language:

english

File:

PDF, 3.95 MB

english, 2014

43

[IEEE Comput. Soc 13th Annual IEEE Symposium on Logic in Computer Science - Indianapolis, IN, USA (21-24 June 1998)] Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) - Light affine logic

Year:

1998

Language:

english

File:

PDF, 182 KB

english, 1998

44

Oversulfated heparins with low anticoagulant activity are strong and fast inhibitors of hepcidin expression in vitro and in vivo

Poli, Maura, Asperti, Michela, Ruzzenenti, Paola, Mandelli, Luca, Campostrini, Natascia, Martini, Giuliana, Di Somma, Margherita, Maccarinelli, Federica, Girelli, Domenico, Naggi, Annamaria, Arosio, P

Journal:

Biochemical Pharmacology

Year:

2014

Language:

english

File:

PDF, 612 KB

english, 2014

45

[IEEE Comput. Soc. Press Ninth Annual IEEE Symposium on Logic in Computer Science - Paris, France (4-7 July 1994)] Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science - Paths in the lambda-calculus. Three years of communications without understanding

Asperti, A., Danos, V., Laneve, C., Regnier, L.

Year:

1994

Language:

english

File:

PDF, 888 KB

english, 1994

46

[Lecture Notes in Computer Science] Mathematical Knowledge Management Volume 2594 || Managing Digital Mathematical Discourse

Asperti, Andrea, Buchberger, Bruno, Davenport, James Harold

Year:

2003

Language:

english

File:

PDF, 170 KB

english, 2003

47

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - The Cost of Usage in the ?-Calculus

Asperti, Andrea, Levy, Jean-Jacques

Year:

2013

Language:

english

File:

PDF, 229 KB

english, 2013

48

Mycolactone impairs T cell homing by suppressing microRNA control of L-selectin expression

Guenin-Mace, L., Carrette, F., Asperti-Boursin, F., Le Bon, A., Caleechurn, L., Di Bartolo, V., Fontanet, A., Bismuth, G., Demangel, C.

Journal:

Proceedings of the National Academy of Sciences

Year:

2011

Language:

english

File:

PDF, 772 KB

english, 2011

49

Causal dependencies in multiplicative linear logic with MIX

Asperti, Andrea

Journal:

Mathematical Structures in Computer Science

Year:

1995

Language:

english

File:

PDF, 1.63 MB

english, 1995

50

Mobile Petri nets

ASPERTI, A., BUSI, N.

Journal:

Mathematical Structures in Computer Science

Year:

2009

Language:

english

File:

PDF, 280 KB

english, 2009

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски